$\forall$$p$:IdLnk List. lpath($p$) $\in$ Prop